Two Aspects of Proof: Examining the Amount of Logic in Student-Constructed Proofs and Mathematicians’ Actions in Recovering From Proving Impasses
نویسنده
چکیده
Dr. Milos Savic is an assistant professor at the University of Oklahoma. He researches in aspects of proof and proving in upper-level undergraduate courses. A Project NExT member of the MAA, he also is a co-founder of a proof research group and the Oklahoma Research in Undergraduate Mathematics Education group. He finds time at home to play with his daughter and wife. Finally, he is a proud BSU Mathematics graduate (class of 2004).
منابع مشابه
Quranic way of presenting proofs for God`s existence
Regardless of the view of those philosophers like Plantinga who see no need in any proof for the existence of God, scholars have presented four views on Quranic way of proving the existence of God including demonstration, awakening, implication and clear demonstration. Describing and criticizing the views in detail, the author has viewed differently. God has regarded the level of the addressee`...
متن کاملTruth Values and Connectives in Some Non-Classical Logics
The question as to whether the propositional logic of Heyting, which was a formalization of Brouwer's intuitionistic logic, is finitely many valued or not, was open for a while (the question was asked by Hahn). Kurt Gödel (1932) introduced an infinite decreasing chain of intermediate logics, which are known nowadays as Gödel logics, for showing that the intuitionistic logic is not finitely (man...
متن کاملDualism of the Soul and the Body in the Philosophical System of Ibn Sīnā and Descartes
The problem of human's two domains has a significant influence on human knowledge, and since the human privilege in the universe to the other beings as well as the immateriality of the soul and so on is based on proving the soul's substance separately, it worths to search in this issue about the ideas of two Western and Islamic philosophers. Ibn Sīnā with arguments such as the "suspending man" ...
متن کاملAn Epistemological Study of the Verse Tathir
The verse Tathir is regarded as one of the central verses in proving the infallibility of the Prophet and his future generation`s properties that have long been debated among the Fariqain commentators. The Sunni commentators, without any reasonable proof and only based on the context and etymology of the word al-bait, the house, have viewed all members of Quraysh in the Prophet's House, and in ...
متن کاملProving Ground Completeness of Resolution by Proof Planning Proving Ground Completeness of Resolution by Proof Planning
A lot of the human ability to prove hard mathematical theorems can be ascribed to a domain-speciic problem solving know-how. Such knowledge is intrin-sically incomplete. In order to solve related problems, human mathematicians can go beyond their acquired knowledge by adapting their know-how. These two aspects, having rich experience and extending it by need, can be simulated in a proof plannin...
متن کامل